#include <libfdt.h>
+#include <platform_def.h>
+
#include <arch.h>
#include <arch_helpers.h>
#include <common/debug.h>
#include <lib/utils_def.h>
#include <plat/common/platform.h>
-#include <stm32mp1_dt.h>
-#include <stm32mp1_private.h>
-
#define MAX_HSI_HZ 64000000
#define TIMEOUT_200MS (plat_get_syscnt_freq2() / 5U)
#include <libfdt.h>
+#include <platform_def.h>
+
#include <drivers/st/stm32mp1_clk.h>
#include <drivers/st/stm32mp1_clkfunc.h>
#include <dt-bindings/clock/stm32mp1-clksrc.h>
-#include <stm32mp1_dt.h>
-
#define DT_RCC_NODE_NAME "rcc@50000000"
#define DT_RCC_CLK_COMPAT "st,stm32mp1-rcc"
#define DT_RCC_COMPAT "syscon"
#include <stddef.h>
+#include <platform_def.h>
+
#include <arch.h>
#include <arch_helpers.h>
#include <common/debug.h>
#include <lib/mmio.h>
#include <plat/common/platform.h>
-#include <stm32mp1_def.h>
-#include <stm32mp1_dt.h>
-
struct reg_desc {
const char *name;
uint16_t offset; /* Offset for base address */
#include <dt-bindings/clock/stm32mp1-clks.h>
#include <lib/mmio.h>
-#include <boot_api.h>
-#include <stm32mp1_dt.h>
-#include <stm32mp1_private.h>
-
#define DDR_PATTERN 0xAAAAAAAAU
#define DDR_ANTIPATTERN 0x55555555U
#include <lib/utils.h>
#include <plat/common/platform.h>
-#include <boot_api.h>
-
static uintptr_t backend_dev_handle;
static uintptr_t backend_image_spec;
static uint32_t *stm32_img;
#include <errno.h>
#include <string.h>
+#include <libfdt.h>
+
+#include <platform_def.h>
+
#include <arch.h>
#include <arch_helpers.h>
#include <common/debug.h>
#include <drivers/st/stm32mp1_reset.h>
#include <dt-bindings/clock/stm32mp1-clks.h>
#include <dt-bindings/reset/stm32mp1-resets.h>
-#include <libfdt.h>
#include <lib/mmio.h>
#include <lib/utils.h>
#include <plat/common/platform.h>
-#include <stm32mp1_dt.h>
-
/* Registers offsets */
#define SDMMC_POWER 0x00U
#define SDMMC_CLKCR 0x04U
#include <lib/mmio.h>
#include <lib/utils_def.h>
-#include <stm32mp1_def.h>
-#include <stm32mp1_dt.h>
-
/* I2C Timing hard-coded value, for I2C clock source is HSI at 64MHz */
#define I2C_TIMING 0x10D07DB5
#include <stdbool.h>
-#include <stm32mp1_def.h>
+#include <platform_def.h>
bool dt_check_pmic(void);
int dt_pmic_enable_boot_on_regulators(void);
$(eval $(call add_define,PLAT_PARTITION_MAX_ENTRIES))
PLAT_INCLUDES := -Iplat/st/stm32mp1/include/
-PLAT_INCLUDES += -Iplat/st/stm32mp1/
-PLAT_INCLUDES += -Iinclude/common/tbbr
# Device tree
STM32_DTB_FILE_NAME ?= stm32mp157c-ev1.dtb
#include <lib/utils_def.h>
#include <lib/xlat_tables/xlat_tables_defs.h>
+#ifndef __ASSEMBLY__
+#include <boot_api.h>
+#include <stm32mp1_dt.h>
+#include <stm32mp1_private.h>
+#endif
+
/*******************************************************************************
* STM32MP1 memory map related constants
******************************************************************************/